Undergraduate geoscience students are rarely exposed to history and philosophy of science. I will describe the experiences with a short course unfavourably placed in the first year of a bachelor of earth science. Arguments how HPS could enrich their education in many ways are sketched. One useful didactic approach is to develop a broader interest by connecting HPS themes to practical cases throughout the curriculum, and develop learning activities that allow students to reflect on their skills, methods and their field (...) in relation to other disciplines and interactions with society with abilities gained through exposure to HPS. Given support of the teaching staff, the tenets of philosophy of science in practice, of conceptual history of knowledge, and of ethics of science for society can fruitfully and directly be connected to the existing curriculum. This is ideally followed by a capstone HPS course late in the bachelor programme. (shrink)

Eighteenth century river hydraulics used both theory and measurement to address problems of flood safety, navigation and defense related to the rivers. In the late eighteenth century the Dutch overseer of the rivers, Christiaan Brunings, integrated hydraulic theory and meteorological practices, which enabled him to design a unique instrument for measuring river flow. The question is whether the unprecedented detail of measurements fits the putative empirical stance in the eighteenth century. The interactions between theory, instrument, measurement, and other knowledge practices (...) are here assessed using experiences in similar measurement practices. I argue that Brunings had theoretical and embodied understanding of hydrodynamics, as he knew how to design an instrument for flow measurement of sufficient accuracy for his purpose in the sociopolitical context of river management. (shrink)

This chapter contains sections titled: Introduction Object and Aims of Earth Science The Autonomy of Earth Science Explanation in Earth Science Conclusion Acknowledgment References.

The present paper presents a philosophical analysis of earth science, a discipline that has received relatively little attention from philosophers of science. We focus on the question of whether earth science can be reduced to allegedly more fundamental sciences, such as chemistry or physics. In order to answer this question, we investigate the aims and methods of earth science, the laws and theories used by earth scientists, and the nature of earth-scientific explanation. Our analysis leads to the tentative conclusion that (...) there are emergent phenomena in earth science but that these may be reducible to physics. However, earth science does not have irreducible laws, and the theories of earth science are typically hypotheses about unobservable (past) events or generalised - but not universally valid - descriptions of contingent processes. Unlike more fundamental sciences, earth science is characterised by explanatory pluralism: earth scientists employ various forms of narrative explanations in combination with causal explanations. The main reason is that earth-scientific explanations are typically hampered by local underdetermination by the data to such an extent that complete causal explanations are impossible in practice, if not in principle. (shrink)

The spiders Cupiennius salei and Achaearanea tepidariorum are firmly established laboratory models that have already contributed greatly to answering evolutionary developmental questions. Here we appraise why these animals are such useful models from phylogeny, natural history and embryogenesis to the tools available for their manipulation. We then review recent studies of axis formation, segmentation, appendage development and neurogenesis in these spiders and how this has contributed to understanding the evolution of these processes. Furthermore, we discuss the potential of comparisons of (...) silk production between Cupiennius and Achaearanea to investigate the origins and diversification of this evolutionary innovation. We suggest that further comparisons between these two spiders and other chelicerates will prove useful for understanding the evolution of development in metazoans. BioEssays 30:487–498, 2008. © 2008 Wiley Periodicals, Inc. (shrink)

This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...) to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)

The scientific study of living organisms is permeated by machine and design metaphors. Genes are thought of as the ‘‘blueprint’’ of an organism, organisms are ‘‘reverse engineered’’ to discover their functionality, and living cells are compared to biochemical factories, complete with assembly lines, transport systems, messenger circuits, etc. Although the notion of design is indispensable to think about adaptations, and engineering analogies have considerable heuristic value (e.g., optimality assumptions), we argue they are limited in several important respects. In particular, the (...) analogy with human-made machines falters when we move down to the level of molecular biology and genetics. Living organisms are far more messy and less transparent than human-made machines. Notoriously, evolution is an opportunistic tinkerer, blindly stumbling on ‘‘designs’’ that no sensible engineer would come up with. Despite impressive technological innovation, the prospect of artificially designing new life forms from scratch has proven more difficult than the superficial analogy with ‘‘programming’’ the right ‘‘software’’ would suggest. The idea of applying straightforward engineering approaches to living systems and their genomes— isolating functional components, designing new parts from scratch, recombining and assembling them into novel life forms—pushes the analogy with human artifacts beyond its limits. In the absence of a one-to-one correspondence between genotype and phenotype, there is no straightforward way to implement novel biological functions and design new life forms. Both the developmental complexity of gene expression and the multifarious interactions of genes and environments are serious obstacles for ‘‘engineering’’ a particular phenotype. The problem of reverse-engineering a desired phenotype to its genetic ‘‘instructions’’ is probably intractable for any but the most simple phenotypes. Recent developments in the field of bio-engineering and synthetic biology reflect these limitations. Instead of genetically engineering a desired trait from scratch, as the machine/engineering metaphor promises, researchers are making greater strides by co-opting natural selection to ‘‘search’’ for a suitable genotype, or by borrowing and recombining genetic material from extant life forms. (shrink)

Why did R.G. Collingwood come to reject the adversarial style of philosophical discussion so popular among his Oxford peers? The main aim of this paper is to explain that Collingwood came to reject his colleagues’ specific style of philosophical dialogue on methodological grounds, and to show how the argument against adversarial philosophical discussion is integrated with Collingwood’s overall criticism of realist philosophy. His argument exploits a connection between method and practice that should be taken seriously even today.

On many occasions, individuals are able to coordinate their actions. The first empirical evidence to this effect has been described by Schelling (1960) in an informal experiment. His results were corroborated many years later by Mehta et al. (1994a,b) and Bacharach and Bernasconi (1997). From the point of view of mainstream game theory, the success of individuals in coordinating their actions is something of a mystery. If there are two or more strict Nash equilibria, mainstream game theory has no means (...) of explaining why people tend to choose their part of one and the same equilibrium. Textbooks (see, e.g., Rasmusen, 1989 and Kreps, 1990) refer to the fact that players may use focal points (see Schelling (1960)) or social conventions (see Lewis (1969)). Both notions cannot easily be incorporated into mainstream game theory, however. The notion of social conventions has recently been extensively studied in the context of evolutionary game theory where a population of agents interacts with each other. The central focus of this paper, however, is on situations where a few players play a game only once and I study how they may coordinate their actions. (shrink)

New and Emerging Science and Technology (NEST) based innovations, e.g. in the field of Life Sciences or Nanotechnology, frequently raise societal and political concerns. To address these concerns NEST researchers are expected to deploy socially responsible R&D practices. This requires researchers to integrate social and ethical aspects (SEAs) in their daily work. Many methods can facilitate such integration. Still, why and how researchers should and could use SEAs remains largely unclear. In this paper we aim to relate motivations for NEST (...) researchers to include SEAs in their work, and the requirements to establish such integration from their perspectives, to existing approaches that can be used to establish integration of SEAs in the daily work of these NEST researchers. Based on our analyses, we argue that for the successful integration of SEAs in R&D practice, collaborative approaches between researchers and scholars from the social sciences and humanities seem the most successful. The only way to explore whether that is in fact the case, is by embarking on collaborative research endeavours. (shrink)

In this article we criticize two recent articles that examine the relation between explanation and unification. Halonen and Hintikka (1999), on the one hand, claim that no unification is explanation. Schurz (1999), on the other hand, claims that all explanation is unification. We give counterexamples to both claims. We propose a pluralistic approach to the problem: explanation sometimes consists in unification, but in other cases different kinds of explanation (e.g., causal explanation) are required; and none of these kinds is more (...) fundamental. (shrink)

Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book (...) is a most welcome addition to our series. The Editors CONTENTS PREFACE IX JOHAN VAN BENTHEM AND NATASHA ALECHINA Modal Quantification over Structured Domains PATRICK BLACKBURN AND WILFRIED MEYER-VIOL Modal Logic and Model-Theoretic Syntax 29 RUY J. G. B. DE QUEIROZ AND DOV M. GABBAY The Functional Interpretation of Modal Necessity 61 VLADIMIR V. RYBAKOV Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic 93 JERRY SELIGMAN The Logic of Correct Description 107 DIMITER VAKARELOV Modal Logics of Arrows 137 HEINRICH WANSING A Full-Circle Theorem for Simple Tense Logic 173 MICHAEL ZAKHARYASCHEV Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline 195 EDWARD N. ZALTA 249 The Modal Object Calculus and its Interpretation NAME INDEX 281 SUBJECT INDEX 285 PREFACE Intensional logic has many faces. In this preface we identify some prominent ones without aiming at completeness. (shrink)

New and Emerging Science and Technology (NEST) based innovations, e.g. in the field of Life Sciences or Nanotechnology, frequently raise societal and political concerns. To address these concerns NEST researchers are expected to deploy socially responsible R&D practices. This requires researchers to integrate social and ethical aspects (SEAs) in their daily work. Many methods can facilitate such integration. Still, why and how researchers should and could use SEAs remains largely unclear. In this paper we aim to relate motivations for NEST (...) researchers to include SEAs in their work, and the requirements to establish such integration from their perspectives, to existing approaches that can be used to establish integration of SEAs in the daily work of these NEST researchers. Based on our analyses, we argue that for the successful integration of SEAs in R&D practice, collaborative approaches between researchers and scholars from the social sciences and humanities seem the most successful. The only way to explore whether that is in fact the case, is by embarking on collaborative research endeavours. (shrink)

During the COVID-19 crisis there have been many difficult decisions governments and other decision makers had to make. E.g. do we go for a total lock down or keep schools open? How many people and which people should be tested? Although there are many good models from e.g. epidemiologists on the spread of the virus under certain conditions, these models do not directly translate into the interventions that can be taken by government. Neither can these models contribute to understand the (...) economic and/or social consequences of the interventions. However, effective and sustainable solutions need to take into account this combination of factors. In this paper, we propose an agent-based social simulation tool, ASSOCC, that supports decision makers understand possible consequences of policy interventions, but exploring the combined social, health and economic consequences of these interventions. (shrink)

Ch. 1. Metodologicheskie problemy sot︠s︡ialʹno-gumanitarnogo poznanii︠a︡ -- ch. 2. Metodologicheskie problemy istorii filosofii i ėstetiki.

Markov, A. A. On constructive mathematics.--Ceĭtin, G. S. Mean value theorems in constructive analysis.--Zaslavskiĭ, I. D. and Ceĭtlin, G. S. On singular coverings and properties of constructive functions connected with them.--Maslov, S. Ju. Certain properties of E. L. Post's apparatus of canonical calculi.--Zaslavskiĭ, I. D. Graph schemes with memory.

As has been often descried, the well-being and integration of refugees, asylum seekers and immigrants mutually influence each other. Therefore, OMEGA Health Care Center is carrying through programs which at the same time further integration on the level of individuals and help prevent or address psychological, social and medical problems. Women and minors are the main target groups of these programs. Aside form giving adolescents concrete support—e.g. in their schoolwork—most of our youth programs focus on active work toward integration. This (...) we understand as supporting real contact between individuals of different cultures. Currently, OMEGA is conducting outreach activities in refugee shelters and schools. In afternoon activities minors have the opportunity to join a music group, to participate in a school support program and to attend computer courses. One goal of our work it to include marginalized youth in all these groups and actively support their social integration in the mainstream society. Finally, the results of an evaluation of our music group and possible interventions for group leaders are discussed. (shrink)

Mathematically, Truths have been said to be analytic. Leibniz tried to prove this in a way criticized by frege. The author states: "it is the purpose of this note to exhibit the full force of frege's criticism." frege also attempted to prove the same thing, But concludes the author, In his attempt, Has not "found universal acceptance among mathematical logicians." he finds the value in frege's analysis to be the fact of his attempt at proof and the need for it. (...) (staff). (shrink)